记作业>英语词典>formal logic翻译和用法

formal logic

英 [ˈfɔːml ˈlɒdʒɪk]

美 [ˈfɔːrml ˈlɑːdʒɪk]

形式逻辑

计算机

英英释义

noun

  • any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
      Synonym:symbolic logicmathematical logic

    双语例句

    • The doctrine of characteristic performance which is born in Europe represents the achievement arising from European jurists'emphasis on formal logic.
      特征性履行方法发轫于欧洲,是欧洲法学家注重形式逻辑研究方式的成果体现。
    • Research of Formal Logic Application to the Scientific Management
      形式逻辑基础理论在科技管理中的应用初探
    • This does not render the notion ofinformal logic vacuous, because no formal logic captures all of thenuance of natural language.
      这并不使这一概念的非形式逻辑空虚,因为没有正式的逻辑捕捉所有在细微的自然语言。
    • Formal logic is the study of inference with purely formal content, where that content is made explicit.
      形式逻辑是推理的研究与纯粹形式上的内容,其中的内容是明确的。
    • Therefore, it is a common-sense error to attempt to reform or replace traditional formal logic with mathematical logic.
      因此,用数理逻辑“改造”或“取代”传统形式逻辑是一种常识性错误。
    • An additional fault in the way in which formal logic conceives the judgment is, that it makes the judgment look as if it were something merely contingent, and does not offer any proof for the advance from notion on to judgment.
      形式逻辑对于判断的通常看法还有一个缺点,按照这种逻辑,判断一般好象仅只是一个偶然的东西,而从概念到判断的进展过程也没有得到证明。
    • Formal logic analysis system.
      形式化逻辑分析方法。
    • You arrived at your conclusion using the methods of formal logic.
      你这个结论是按照形式逻辑的方法推论出来的。
    • Social Exam and Teaching Reform of Formal Logic for Non-philosophy Major in University
      社会考试与高校非哲学专业《形式逻辑》教学改革
    • The answer is that, great as the interval is between the speculative notion and the notion of formal logic, a closer examination shows that the deeper meaning is not so foreign to the general usages of language as it seems at first sight.
      对这问题可以这样回答:形式逻辑的概念与思辩的概念的距离虽然很大,但细加考察,即可看出概念较为深刻的意义,并不象初看起来那样太与普通语言的用法相疏远。